<script type="text/javascript">location.href="/tools/latex"</script>
